---

resolution refutation strategy

英 [ˌrezəˈluːʃn ˌrefjuˈteɪʃn ˈstrætədʒi] 美 [ˌrezəˈluːʃn ˌrefjuˈteɪʃn ˈstrætədʒi]

【计】归结反演策略

计算机

---

---